Proceedings of the 8 th Overture Workshop
نویسندگان
چکیده
This report contains the proceedings of the 8th Overture workshop, held in London on 13th September 2010. © 2010 University of Newcastle upon Tyne. Printed and published by the University of Newcastle upon Tyne, Computing Science, Claremont Tower, Claremont Road, Newcastle upon Tyne, NE1 7RU, England. Bibliographical details PIERCE, K., PLAT, N., WOLFF, S. (EDS.) Proceedings of the 8th Overture Workshop [By] K. Pierce, Nico Plat and Sune Wolff (eds.) Newcastle upon Tyne: University of Newcastle upon Tyne: Computing Science, 2010. (University of Newcastle upon Tyne, Computing Science, Technical Report Series, No. CS-TR-1224)
منابع مشابه
Proceedings of the 7 th OVERTURE Workshop
This report contains the proceedings of the 7th OVERTURE workshop, held in Eindhoven on 2nd November 2009. © 2009 University of Newcastle upon Tyne. Printed and published by the University of Newcastle upon Tyne, Computing Science, Claremont Tower, Claremont Road, Newcastle upon Tyne, NE1 7RU, England. Bibliographical details LARSEN, P.G., BRYANS, J.W.(EDS.) Proceedings of Formal Aspects of Vir...
متن کاملModelling and Analysis in VDM : Proceedings of the Fourth
This report contains proceedings of the Fourth International Workshop of the Overture group (www.overturetool.org) whose aim is to develop the next generation of tools supporting the Vienna Development Method (VDM) and related formal techniques. Contributed papers describe the rCOS technique and tools, the relationship between VDM and complementary formalisms including Colored Petri Nets and JM...
متن کاملProceedings of the 16 th Nordic Workshop on Programming Theory October 6 – 8 , 2004 Uppsala , Sweden
ion Based Analysis and Arbiter Synthesis: Radar Memory Interface Card Case Study Revisited Juhan Ernits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
متن کامل